A Logic-based Formalism for Reasoning about Visual Representations
نویسنده
چکیده
This article presents a logic-based formalism for formal reasoning about visual representations. This formalism is based on previous work about describing visual notations [Haarslev, 1998a]. However, in this article we discuss major extensions to this formalism providing decidable reasoning mechanisms that support truly spatial domains such as geographical information systems (GIS). We demonstrate the application of this formalism to specifying semantics of visual query languages for GIS and to meta reasoning about spatial queries.
منابع مشابه
A Logic-based Formalism for Reasoning about Visual Representations (Extended Abstract)
This paper presents a logic-based formalism for formal reasoning about visual representations. This formalism is based on previous work about describing visual notations (Haarslev 1998). However, in this paper we discuss major extensions to this formalism providing decidable reasoning mechanisms that support truly spatial domains such as geographical information systems (GIS). We sketch out the...
متن کاملDefault Reasoning for Forensic Visual Surveillance based on Subjective Logic and Its Comparison with L-Fuzzy Set Based Approaches
Default reasoning can provide a means of deriving plausible semantic conclusion under imprecise and contradictory information in forensic visual surveillance. In such reasoning under uncertainty, proper uncertainty handling formalism is required. A discrete species of Bilattice for multivalued default logic demonstrated default reasoning in visual surveillance. In this article, the authors pres...
متن کاملFrom Visual to Logical Representation A GIS-Based Sketching Tool for Reasoning about Plans
Abstract: Multi-modal and heterogeneous logic reasoning is of increasing importance within the AI community. The GIS based ArcView COA Sketcher (ArCS) sketch and translation tool developed under DARPA’s High Performance Knowledge Bases program is an example of an enabling tool towards that goal. Army Course of Action (COA) sketches can be drawn and translated automatically into statements in a ...
متن کاملUsing Description Logic for Reasoning about Diagrammatical Notations
This paper summarizes research [1; 2; 3] about a fully implemented logical framework to develop axiomatizations defining meaningful “constellations” of abstract diagrammatical objects. The proposed framework is based on a spatial logic for describing qualitative spatial relationships between objects and on description logic (DL) as specification formalism. The framework was successfully applied...
متن کاملDefeasible Reasoning and Partial Order Planning
Argumentation-based formalisms provide a way of considering the defeasible nature of reasoning with partial and often erroneous knowledge in a given environment. This problem affects every aspect of a planning process. We will present an argumentation-based formalism that an agent could use for constructing plans starting from a previously introduced formalism. In such a formalism, agents repre...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Vis. Lang. Comput.
دوره 10 شماره
صفحات -
تاریخ انتشار 1999